* doc/misc/sc.texi: Nuke hand-written node pointers.
authorGlenn Morris <rgm@gnu.org>
Mon, 28 May 2012 23:28:27 +0000 (16:28 -0700)
committerGlenn Morris <rgm@gnu.org>
Mon, 28 May 2012 23:28:27 +0000 (16:28 -0700)
commit216c27d04e21c29c9cba6980223e13c25cad9d68
tree23d84515144b67bec8a0f473f1568e02a3213fae
parent509c3935bc33d0efeab3a4929e218ab07467386e
* doc/misc/sc.texi: Nuke hand-written node pointers.
Fix top-level menu to match actual node order.
doc/misc/ChangeLog
doc/misc/sc.texi